inner product space definition